Programming the social computer
نویسندگان
چکیده
منابع مشابه
Programming the social computer.
The aim of 'programming the global computer' was identified by Milner and others as one of the grand challenges of computing research. At the time this phrase was coined, it was natural to assume that this objective might be achieved primarily through extending programming and specification languages. The Internet, however, has brought with it a different style of computation that (although har...
متن کاملProgramming the Hawaii Parallel Computer
A new application of field programmable gate-arrays is featured in the prototype of the University of Hawaii parallel computer (HPC). User programs are compiled and then executed partly or completely in one or more field programmable gate-arrays (FPGAs). Some compile-for-FPGA systems have yet to effectively implement full high-level language loop constructs. In this paper we show how the condit...
متن کاملUnconventional Computer Programming
Classical computing has well-established formalisms forspecifying, refining, composing, proving, and otherwise reasoningabout computations. These formalisms have matured over the past70 years or so.Unconventional Computing includes the use novel kinds of sub-strates – from black holes and quantum effects, through to chem-icals, biomolecules, even slime moulds – to perfor...
متن کاملProgramming Satan's Computer
Cryptographic protocols are used in distributed systems to identify users and authenticate transactions. They may involve the exchange of about 2–5 messages, and one might think that a program of this size would be fairly easy to get right. However, this is absolutely not the case: bugs are routinely found in well known protocols, and years after they were first published. The problem is the pr...
متن کاملStorytelling in computer programming
Analogies, examples, narratives, case studies and stories are common tools used in teaching. When teaching computer programming, the value of using these tools is amplified due to the abstract nature of the discipline. Analogies such as eating Smarties out of a packet can be used to illustrate the concept of loops, and the example of transferring water from one glass to another glass already f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
سال: 2013
ISSN: 1364-503X,1471-2962
DOI: 10.1098/rsta.2012.0379